Coherence in category theory and the Church-Rosser property.
نویسندگان
چکیده
منابع مشابه
Coherence in category theory and the Church-Rosser property
Szabo's derivation systems on sequent calculi with exchange and product are not Church-Rosser. Thus his coherence results for categories having a symmetric product (either monoidal or cartesian) are false.
متن کاملSimultaneous Critical Pairs and Church-Rosser Property
We introduce simultaneous critical pairs, which account for simultaneous overlapping of several rewrite rules. Based on this, we introduce a new CR-criterion widely applicable to arbitrary left-linear term rewriting systems. Our result extends the well-known criterion given by Huet (1980), Toyama (1988), and Oostrom (1997) and incomparable with other well-known criteria for left-linear systems.
متن کاملChurch-Rosser Property and Homology of Monoids
We present a result of C. C. Squier relating two topics: • the canonical rewriting systems, which have been widely studied by computer scientists as a tool for solving word problems, • the homology of groups (more generally of monoids), which belongs to the core of pure mathematics, on the borders of algebra and topology. It is natural to ask whether finite canonical systems are the only way to...
متن کاملMONSTR V - Transitive Coercing Semantics and the Church-Rosser Property
The transitive coercing semantic model for the execution of the MONSTR generalised term graph rewriting language is defined. Of all the operational semantics for MONSTR that one might consider, this one has the cleanest properties. Under intuitively obvious conditions for executions involving redexes permitted to overlap sufficiently to allow the programming of deterministic synchronisations, a...
متن کاملThe Church-Rosser Property and Special Thue Systems
In an earlier paper we gave an O([ TI s) algorithm for testing the Church-Rosser property of Thue systems, where I TI is the total size of the Thue system. Here we improve that bound to O(klTI), where k is the number of rules in T, in the case when the Thue system is special, i.e., when all its rules are of the form (x, A) where A is the empty string. Also obtained are several results on specia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1991
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093636017